<?php
	require_once('compilador.php');

	$output = compilador($_FILES);

?>

<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
	<head>
		<meta http-equiv=Content-Type content="text/html; charset=ISO-8859-1">
		<title>Compiladores</title>
		<link type="text/css" rel=stylesheet href="css/general.css"/>
		<link type="text/css" rel=stylesheet href="css/ui-lightness/jquery-ui-1.7.3.custom.css"/>
		<script type="text/javascript" src="js/jquery-1.3.2.min.js"></script>
		<script type="text/javascript" src="js/jquery-ui-1.7.3.custom.min.js"></script>
		


	</head>
	
	<body>

		<div id="codigo_maquina">
			<?php print $output['codigo_maquina']; ?>
		</div>
		
		<div id="memoria_pilha">
		
		</div>
		
		<div id="saida_dados">
		
		</div>

	</body>
</html>